Probabilistic Process Algebra Probabilistic Process Algebra
نویسنده
چکیده
منابع مشابه
Stochastic Analysis via a Probabilistic Process Algebra
We propose a probabilistic process algebra built on top of a fully parallel calculus. Being strongly inspired by LOTOS, our model allows for multi-party synchronization in process parallel composition. Anyway, departing from LOTOS, it has a non-interleaving, multiset, semantics: Independent actions are performed simultaneously, whereas synchronization is achieved by means of the minimal, implic...
متن کاملTime and Probability in Process Algebra
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extension of untimed probabilistic process algebra with constructors that allow the explicit specification of timing aspects. In this paper we concentrate on giving axioms and deduction rules for these constructors. We give...
متن کاملTesting Semantics for a Probabilistic-Timed Process Algebra
In this paper we present a probabilistic-timed process algebra, which try to unify the best solutions of previous probabilistic and timed algebras. We provide an operational semantics for the new language (PTPA), and from this operational semantics we define a testing semantics based on the probability with which processes pass tests. Afterwards the induced testing equivalence is operationally ...
متن کاملMarta Kwiatkowska , Ulrich Herzog Christoph Meinel , Moshe Vardi ( editors )
ion in Probabilistic Process Algebra Suzana Andova Eindhoven University of Technology In this work we treat the problem of abstraction in fully probabilistic process algebra and its semantics based on branching bisimulation. Since the idea of fairness rules together with abstraction (introduced by the abstraction operator tauI and constant tau meaning an internal action) is central to the verif...
متن کاملVerification of Random Behaviours
We introduce abstraction in a probabilistic process algebra. The process algebra can be employed for specifying processes that exhibit both probabilistic and non-deterministic choices in their behaviours. Several rules and axioms are identified, allowing us to rewrite processes to less complex processes by removing redundant internal activity. Using these rules, we have successfully conducted a...
متن کامل